Power Consumption Analysis of Smartphone Applications using UPPAAL

Power consumption of smartphone applications is one of the major concerns because of the limited battery capacity. An application, although functionally correct, may suffer from unexpected power consumption or energy bugs (ebugs). The existence of such e-bugs is checked for programs with energy profilers although most of them are design bugs. We propose a new model-based power consumption analysis method to be used at the early stages of the development. The method provides a formal model of asynchronous power consumption for the representation and analysis at the design level. We use stopwatch-extension of UPPAAL model-checker. The paper concludes with discussions based on our early experience. Keywords-Model-based Development; Android; Energy Bugs; Wi-Fi; Stopwatch Automaton;